EN FR
EN FR


Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Toyota Info-Technology Centre (2014+)

  • Title: Co-Modeling of Safety-Critical Multi-threaded Embedded Software for Multi-Core Embedded Platforms

  • Inria principal investigator: Jean-Pierre Talpin

  • International Partner (Institution - Laboratory - Researcher):

    • Toyota Info-Technology Centre, Mountain View, California

    • Virginia Tech Research Laboratories, Arlington

  • Duration: renewed yearly since 2014

  • Abstract: We started a new project in April 2014 funded by Toyota ITC, California, to work with Huafeng Yu (a former post-doctorate of team ESPRESSO) and with VTRL as US partner. The main topic of our project is the semantic-based model integration of automotive architectures, virtual integration, toward formal verification and automated code synthesis. This year, Toyota ITC is sponsoring our submission for the standardisation of a time annex in the SAE standard AADL.

    In a second work-package, we aim at elaborating a standardised solution to virtually integrate and simulate a car based on heterogeneous models of its components. This year, it will be exemplified by the elaboration of a case study in collaboration with Virginia Tech. The second phase of the project will consist of delivering an open-source, reference implementation, of the proposed AADL standard and validate it with a real-scale model of the initial case-study.